graph rewriting system造句

They are encoded in graph rewrite / graph transformation rules and executed by graph rewrite systems / graph transformation tools.
Formally, a graph rewriting system usually consists of a set of graph rewrite rules of the form L \ rightarrow R, with L being called pattern graph ( or left-hand side ) and R being called replacement graph ( or right-hand side of the rule ).
GXL originated in the merger of GRAph eXchange format ( GraX : University of Koblenz, DE ) for exchanging typed, attributed, ordered, directed graphs ( TGraphs ), Tuple Attribute Language ( TA : University of Waterloo, CA ), and the graph format of the PROGRES graph rewriting system ( University Bw M黱chen, DE ).
Sometimes "'graph grammar "'is used as a synonym for "'graph rewriting system "', especially in the context of formal languages; the different wording is used to emphasize the goal of constructions, like the enumeration of all graphs from some starting graph, i . e . the generation of a graph language instead of simply transforming a given state ( host graph ) into a new state.
It's difficult to find graph rewriting system in a sentence. 用graph rewriting system造句挺难的